1. Formal methods for embedded distributed systems : how to master the complexity
پدیدآورنده: edited by Fabrice Kordon and Michel Lemoine
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Electronic data processing -- Distributed processing,، Embedded computer systems
رده :
QA
76
.
9
.
D5F67
